Works by James R. Guard

( view other items matching `James R. Guard`, view all matches )
6 found
Order:
  1.  6
    Recursive Analysis.James R. Guard - 1961 - Journal of Symbolic Logic 27 (2):244-245.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  2.  23
    Goodstein R. L.. Recursive analysis. Studies in logic and the foundations of mathematics. North-Holland Publishing Company, Amsterdam 1961, viii + 138 pp. [REVIEW]James R. Guard - 1962 - Journal of Symbolic Logic 27 (2):244-245.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  3.  13
    Liu Shih-Chao. A theorem on general recursive functions. Proceedings of the American Mathematical Society, vol. 11 , pp. 184–187. [REVIEW]James R. Guard - 1964 - Journal of Symbolic Logic 29 (2):104-104.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  4.  12
    Review: R. L. Goodstein, Recursive Analysis. [REVIEW]James R. Guard - 1962 - Journal of Symbolic Logic 27 (2):244-245.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  5. Review: Shih-Chao Liu, A Theorem on General Recursive Functions. [REVIEW]James R. Guard - 1964 - Journal of Symbolic Logic 29 (2):104-104.
     
    Export citation  
     
    Bookmark  
  6.  6
    Taxeuti Gaisi. A remark on Gentzen's paper “Beweisbarkeit und Unbeweisbarkeit von Anfangsfällen der transfiniten Induktion in der reinen Zahlentheorie.” I—II. Proceedings of the Japan Academy, vol. 39 , pp. 263–269. [REVIEW]James R. Guard - 1964 - Journal of Symbolic Logic 29 (1):58-59.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark